Logic programming

Results: 2694



#Item
21

Programming in Logic Without Logic Programming Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,} _____________________________________________________________________

Add to Reading List

Source URL: www.doc.ic.ac.uk

- Date: 2015-11-14 06:19:31
    22

    Under consideration for publication in Theory and Practice of Logic Programming 1 arXiv:1512.07780v1 [cs.LO] 24 Dec 2015

    Add to Reading List

    Source URL: arxiv.org

    - Date: 2015-12-24 20:47:04
      23

      Testing Source Code with the Logic Programming Language Prolog Master Thesis Thomas Handwerker

      Add to Reading List

      Source URL: www1.pub.informatik.uni-wuerzburg.de

      - Date: 2016-08-02 05:40:34
        24

        Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 265–269 http://www.floc-conference.org/ICLP-home.html TOWARDS A GENERAL ARGUMENTATION SYSTEM BASED ON ANSWER-SET PROG

        Add to Reading List

        Source URL: drops.dagstuhl.de

        - Date: 2010-06-24 07:28:38
          25

          Proceedings of CICLOPS 2009 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems

          Add to Reading List

          Source URL: www.cse.unt.edu

          - Date: 2009-06-12 11:53:51
            26

            Programming in Linear Temporal Logic Wolfgang Jeltsch Programming in Linear Temporal Logic

            Add to Reading List

            Source URL: cs.ioc.ee

            - Date: 2011-02-10 10:21:33
              27

              Inductive Logic Programming meets Relational Databases: An Application to Statistical Relational Learning Marcin Malec, Tushar Khot, James Nagy, Erik Blasch, and Sriraam Natarajan Abstract With the increasing amount of r

              Add to Reading List

              Source URL: homes.soic.indiana.edu

              - Date: 2016-05-01 18:51:06
                28

                Declarative and Logic Programming Mooly Sagiv Adapted from Peter Hawkins Jeff Ullman (Stanford) Why declarative programming

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2014-03-10 07:32:15
                  29

                  Intuitionistic Temporal Logic from Reactive Programming Wolfgang Jeltsch Institute of Cybernetics at Tallinn University of Technology Estonian–Finnish Logic Meeting Rakvere, Estonia

                  Add to Reading List

                  Source URL: www.ioc.ee

                  - Date: 2015-11-12 18:20:43
                    30

                    Logic and programming The Temporal Curry–Howard Correspondence Conclusions and outlook

                    Add to Reading List

                    Source URL: www.ioc.ee

                    - Date: 2012-04-24 14:51:31
                      UPDATE